Drawing Programs: The Theory and Practice of Schematic Functional Programming
نویسندگان
چکیده
Inevitably, reading is one of the requirements to be undergone. To improve the performance and quality, someone needs to have something new every day. It will suggest you to have more inspirations, then. However, the needs of inspirations will make you searching for some sources. Even from the other people experience, internet, and many books. Books and internet are the recommended media to help you improving your quality and performance.
منابع مشابه
Functional Parts Detection in Engineering Drawings: Looking for the Screws
Abst rac t . Functional parts i.e. mechanical parts with intrinsic functionality such as screws, hinges and gears, are appealing high level entities to be used in line drawing understanding systems. This is because their functionality can be used by a reasoning agent to infer surrounding objects and because they are usually drawn following standards making them easier to be detected. In this ch...
متن کاملA Single Machine Capacitated Production Planning Problem Under Uncertainty: A Grey Linear Programming Approach
The production planning is an important problem in most of manufacturing systems in practice. Unlike many researches existing in literature, this problem encounters with great uncertainties in parameters and input data. In this paper, a single machine capacitated production planning problem is considered and a linear programming formulation is presented. The production costs are assumed to be u...
متن کاملSocial Cognition Interventional Program (SCIP) Based on the Theory of Mind (ToM) Effects on the Social Function of High- Functional Autistic Patients
Objective: The present study has been carried out to develop social cognition interventional program (SCIP) based on Theory of Mind (ToM), and to investigate its effects on High-Functional Autistic (HFA) Children's Social function. Methods: Present study was completely experimental and its participants were randomly assigned to an experimental or a control group (Among 14 HFA, 7 in experimen...
متن کاملIn Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming
Processing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques. In logic programming, there is a gap between the meta-programming practice and its theory: The formalisa...
متن کاملA Strict Border for the Decidability of E{Uni cation for Recursive Functions
During the execution of functional logic programs, E{uniication problems have to be solved quite frequently, where the underlying equational theory is induced by recursive functions. But, what about the decidability of those E{uniication problems? Up to now, there does not exist a concrete answer to this question. In this paper, we answer this question by drawing and verifying a strict border b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Funct. Program.
دوره 22 شماره
صفحات -
تاریخ انتشار 2010